ual to r?
False
Let o be 4/10 - 58/(-1)*(-5106)/20. Is -14807 >= o?
True
Let h = 1469 + -4406/3. Which is smaller: 0.406 or h?
h
Let t = 0.03598 + 0.04102. Is t smaller than 0?
False
Suppose -5*s + 4*a + 34032 = 0, -a + 7 + 0 = 0. Is 6812 greater than s?
False
Suppose -5*u + u + 5*v - 33 = 0, 0 = u + 2*v - 8. Let s = u + -77. Which is bigger: s or -81?
s
Let p be (-1169)/28*8/(-4). Let c be -170*(1/2 - 1). Let r = p - c. Which is greater: r or -0.4?
-0.4
Let v be (-10583)/(-14116) + 0 - (14 + (-477)/36). Which is greater: v or -1?
v
Let r(h) = 3*h**2 + 4*h - 5. Let d be r(-5). Let b = d + -50. Suppose 0*p + s + 56 = -p, b = 2*p - 4*s + 124. Do -59 and p have the same value?
False
Suppose 22 = 13*u - 21*u + 19*u. Which is smaller: u or -2/3849?
-2/3849
Suppose 3*b - 21 = 0, 115*x - 43041 = 111*x + 5*b. Which is bigger: x or 10770?
10770
Let t = -386 - -690. Let i = -290 + t. Is i at most as big as 19?
True
Suppose -4*i - 5*v - 65 = -6*v, -5 = 2*i + 5*v. Let b = i + 20. Suppose -5*g + 3*u = 3 + b, 3*u = 2*g + 5. Are g and -1/24 nonequal?
True
Let m = -34 - -43. Suppose -5*f = -4*p + 10, 0 = 4*f - 4*p + m + 3. Does -82 = f?
False
Let n = 37.5 - -158.5. Which is bigger: n or -2?
n
Let h be (1/242)/(((-72)/32)/9). Suppose 2*q + 5 = 5*z, 2*z + 17 = -6*q + 3*q. Is z less than h?
True
Let r be (-72)/434 - (-2)/(-7). Let k = r + 949/248. Let n = 278310 + -278307. Which is greater: k or n?
k
Let w be (-29 - -26) + 1 - -1*17. Is 70 less than or equal to w?
False
Let c be (-1 + 18)/(2761/(-753)). Is -5 smaller than c?
True
Let b = 7.872 - 7.963. Is -7.2 bigger than b?
False
Suppose 4 = 2*s, -s - 16 = -q + s. Let u = 33 - 53. Let c be u/150*q/(-2). Which is bigger: 1 or c?
c
Suppose 5*y = -35 - 55. Let n = y + 39. Suppose -d - 2*d = 2*b, 3*d - n = 5*b. Which is smaller: b or -18/7?
b
Let v be 1206/(-46) - 108/12. Is -35 less than v?
False
Let i = -187197 + 943285677/5039. Which is smaller: i or 0?
i
Suppose 0 = -3*z + 9 + 63. Suppose 5*m + 2*j + z = 82, -33 = -3*m - 3*j. Let x be (-3)/6 + 2*m/(-16). Is x < -1/17?
True
Suppose 0 = 19*x - 2 - 74. Let y(h) = -h**2 - 3*h. Let s(l) = -l**2 - 4*l + 1. Let z(w) = 4*s(w) - 3*y(w). Let f be z(-7). Is f bigger than x?
False
Let d be 2/10 - 40404/195. Let u = d + 622/3. Which is greater: -0.59 or u?
u
Let g = 3243 - 3214.11. Let l = -29 + g. Let x = 1548 - 1549. Is l at most x?
False
Let q(x) = x**2 - 6*x + 3. Let b be q(3). Suppose 2*d - 35 = -5*l - 3*d, -2*l - 4*d + 22 = 0. Suppose l*w = -3*z - 27 - 3, -5*w = 2*z + 32. Is b at most z?
True
Let j be (5/3)/(-5) + 152/(-12). Let t be (-4)/12 + j/(-3). Suppose d + 2*o = 9, -2*o - 10 = -t*o. Is 2/81 greater than d?
True
Let p = 135 + -131. Suppose -5*z = -p*n + 111, -2*z + 2*n + 3*n = 41. Let l = 5 - 5.1. Which is smaller: l or z?
z
Let d(x) = -x**2 + 38*x - 120. Let l be d(74). Is -2783 at least l?
True
Let i = 920 + -908. Let v = 0 + 0. Suppose -4*s + i + 44 = v. Which is greater: s or 16?
16
Let c be (-105)/30 - 57/(-9). Suppose 0 = 2*o - 0*o. Suppose o = -3*p - v + 7, -v = p - 3*p + 3. Which is greater: p or c?
c
Let j = -1374 + 1405. Suppose 1431 = -25*s + j. Suppose 0 = -0*d + 2*d + 114. Is d != s?
True
Let m = -1269 + 787. Let y = m + 333. Is y equal to -149?
True
Suppose -4*x = 20 + 20. Let u be (-8 - -6) + 5 + 1. Suppose u*h + 37 = 5*r, -28 = -8*h + 11*h - 4*r. Is h greater than or equal to x?
True
Suppose 4*s = 6 + 2. Let x be (s/4)/(2/460). Let m = 123 - x. Which is smaller: m or 5?
5
Suppose u - 4*d = 6*u - 1800, 374 = u - 2*d. Let p = -10555/29 + u. Which is smaller: p or 0?
0
Let f = -0.27 - -0.17. Suppose 12*o - 565 = 59. Let c be -1*((-24)/o)/(-3). Is f < c?
False
Let q = -720 + 719. Which is greater: q or 3/2950?
3/2950
Let w(f) = 32*f - 25. Let m be w(1). Let b be (-6 + m)*4/(164/(-3)). Which is smaller: -1 or b?
-1
Let p = -1 + -3. Let o = -111 - -109. Let r be ((-9 - -6) + 3)*(o - -1). Which is greater: r or p?
r
Let a(y) = 163*y + 1957. Let m be a(-12). Which is bigger: m or -1/656?
m
Let t be 6/8 - -2*(-1810)/(-16). Which is greater: t or 244?
244
Let n(c) = 48*c + 36*c**2 + 35*c**2 - 63*c**2. Let u be n(-6). Which is greater: 4/241 or u?
4/241
Let c = -1872 + 1871.96. Which is greater: c or -74?
c
Let r = 4290 + -4455.8. Is r less than 0?
True
Suppose 4018 = 16*k - 23*k. Let l = k - -557. Let a(f) = -15*f**2 - 1. Let b be a(-1). Which is bigger: b or l?
b
Suppose -5*a - 2*q - 7 = 0, q - 4*q - 3 = 5*a. Let v be ((-12)/(-8))/(a/4). Let o be -12 - 0 - 5246/(-488). Is v less than o?
True
Let a(r) = -4*r**2 - 3*r - 4. Let b be a(-4). Let z = -310 + 30. Let g = z + 223. Which is smaller: g or b?
g
Let m be (-3)/(0/1 + 1) + 8. Suppose 4*t - 2 = m*g, 2*g = -t + 5*g - 3. Let h be t/(-9) - (-156)/9. Is h < 17?
False
Let n(t) = 2*t**2 - 17*t + 10. Let j be n(8). Suppose 6*o = j*o - 16. Let u be 2*(27/5 + o). Is u less than 2?
False
Suppose 0 = 25*d - 27*d - 10, 3*d - 820 = 5*v. Let p = -669/4 - v. Let t = -1/210 + 431/2310. Which is smaller: p or t?
p
Let b = -222.51 - -225. Let w = 2.5 - b. Let m = 23 - 22. Which is smaller: m or w?
w
Let q(y) = -73*y**2 + 6*y + 1. Let z(f) = f**2 + 3*f. Let r(t) = -q(t) + z(t). Let x be r(-1). Do x and 73 have different values?
True
Suppose -w = -3*d + 10, 5 = -0*w + 5*w - 4*d. Suppose l - 2 = -3*v, 2*l - 5 - w = 0. Which is bigger: v or 2/849?
2/849
Let a be (-25)/125*(62425/12490 - 5). Which is greater: 1 or a?
1
Let s = 81513 + -452152607/5547. Does s = -1?
False
Let o = -65333 - -65333.2. Let p = -122.94 + 0.94. Are p and o nonequal?
True
Suppose -3*k = -4*b + 31, -2*b = 1073*k - 1072*k - 13. Is k <= -54/583?
True
Let k be 975/(-795)*6/(-25). Which is greater: -1 or k?
k
Suppose -2*z = 5*q - 23, -2*z + 7 = -q + 2. Suppose -51*h + 4 = -55*h, q*h + 102 = m. Are 98 and m equal?
False
Let y be ((144/(-7))/(-6) - 4) + 9108/17262. Let s be (-8)/12 + 10/6. Which is smaller: s or y?
y
Suppose 6*u + 616 = -6*u + 604. Is -17/1090 <= u?
False
Suppose 10*j - 5*j = -10*j. Are j and 10/677 equal?
False
Let k(v) = 33*v**2 - 2*v - 3. Let u be k(3). Let f be (u/(-130))/((-63)/420). Which is bigger: f or 15?
15
Let b = 276 - 134. Let i = -142 + b. Which is smaller: i or -2/137?
-2/137
Suppose 165*j - 429*j = -16368. Is j > -110?
True
Let w be (-81)/(-18)*4/6. Suppose -2*y + w*b = 2*y - 227, -5*y - 3*b + 250 = 0. Which is greater: y or 211/4?
y
Suppose -4*v + l - 3*l + 342 = 0, 3*l = 15. Let a = 84 - v. Let c = 0.47 - 0.4. Which is bigger: c or a?
a
Let p be 1 - 21*(-21)/63. Is 158 at least p?
True
Let m be (1093320/1440)/((-2)/(-24)). Is 9111 smaller than m?
False
Let x be 2/(-51) - (-1)/3. Let u = 71474.5 - 71474.4. Is x at most u?
False
Let u be ((-108)/(-33))/9*(-4)/(-8). Let o = -109.95 + 110. Which is smaller: u or o?
o
Suppose 20 = -4*c, -c + 2*c = 2*y - 13. Suppose y*n - 3*j - 5 = 0, 0 = -2*n - 0*j - 2*j - 8. Let w = -117/154 - -3/14. Is n bigger than w?
False
Let r = 53 - 53.8. Let q = -0.7 - r. Let p = 111 - 1449/13. Which is smaller: p or q?
p
Suppose -291005 = -50*z + 171*z. Which is smaller: -1 or z?
z
Let r = -40 - -53. Let a = r - 11. Which is smaller: a or 13?
a
Let l = -1780/11 - -162. Let n = 562.952 - 563. Which is smaller: l or n?
n
Suppose 95*m = 93*m + 16. Suppose -3*y + m = 4*d, -11 = -5*d + 2*y - 24. Which is smaller: -2/59 or d?
d
Let i = -101 + 105. Suppose -i*t = -16, 16 = -s + 4*t - t. Let u(q) = q**2 + 11*q - 4. Let m be u(-11). Is s less than m?
False
Suppose 4*x + 160 = 4*s, 2*s - 85 = -4*x - 23. Let r = -36 + s. Which is greater: 5/6 or r?
r
Let g = 910 - 900. Suppose -3*o - 4 = -10. Is g less than or equal to o?
False
Let u = -3 + -3. Let t = -1516.97 - -1517. Which is smaller: u or t?
u
Let b be ((-5)/10)/(7/(-546)). Let r be (-13)/b + 10/42. Are -1 and r nonequal?
True
Let o be ((-2)/(-906))/((-75)/46800). Which is smaller: 0 or o?
o
Let y = -7813 + 7806. Which is bigger: -143/18 or y?
y
Let c = -0.04 + -0.06. Let z be (-15)/24*-2 + (-843)/12. Which is greater: c or z?
c
Let n = 59978/1461 + -240674255/5808936. Let y = -4790581/497 - -9639. Let o = n + y. Which is smaller: -1 or o?
-1
Let f = 78.183 - 0.183. Let j = f - 81. Which is bigger: j or -60?
j
Let y(q) = q**3 + 5*q**2 + 3*q + 2. Let x be y(-4). Let r be (-8)/x + (-1 - 12/(-9)). Which is bigger: r or -7/8?
-7/8
Let u = 0.04767 - 0.44767. Is