u = r + -255.093. Which is smaller: u or 2/3?
u
Suppose 124*f + 9591 = 55*f. Is -133 <= f?
False
Let w = 650337/32 - 20322. Which is greater: w or 1?
w
Let c = -580 + 580. Suppose -47*g = -2*s - 50*g + 114, -5*s - 5*g + 275 = c. Does 47 = s?
False
Suppose -81 = 66*p - 15. Are -1/514 and p equal?
False
Let p be (2988/30)/(64/280 + 0). Which is smaller: 437 or p?
p
Let b = -0.303 + 0.137. Let t = 0.0724 - 0.0164. Let i = b + t. Which is smaller: i or -0.2?
-0.2
Suppose 3*f - 19 = 2*a, a + 2*f = -1 - 26. Let z be 2/a + 53*(-4)/(-68). Suppose -4*s = -4*i + 36, -s - 39 = z*s - 5*i. Is s greater than or equal to -5?
False
Let k be 464/(-232) - (167 + 0). Is k at most as big as 54?
True
Let w(i) = -4*i + 41. Let u(r) = 2*r - 20. Let c(t) = -5*u(t) - 2*w(t). Let v be c(5). Is v greater than or equal to 11?
False
Let x = 158.98 - 159. Let m = -0.12 - x. Let g = -23.945 + -0.055. Which is smaller: g or m?
g
Suppose 2*p - y - 1090 = 0, 4*p + 14*y - 10*y - 2216 = 0. Are 548 and p non-equal?
False
Let n = 1972 - 407. Suppose 28*p - n = 171. Let x = -66 - -129. Is x < p?
False
Suppose 272*q + 3*w = 276*q + 41, -3*q + w - 37 = 0. Which is smaller: -54 or q?
-54
Let m be ((-8)/(-14))/(-4*14/196). Let h be m/52*1/4*6. Is 0 <= h?
False
Let g = 2.86 + -2.96. Is g <= -36/7?
False
Let r be ((-22012)/(-30))/(10 - (106/(-5))/(-2)). Is -1222 > r?
True
Let k(m) = -2*m**2 + 45*m - 21. Let o be k(22). Let a be (-6)/45*3*10/(-4). Let j be a/1 - (3/9 + 0). Which is bigger: j or o?
o
Let l(c) = -13*c - 391. Let m be l(-28). Is m less than 19/11?
True
Let r be (-8)/18 + -4 + 66507/14958. Is 0 at least r?
False
Let q be 53/17 + 16/(-136). Suppose -p = 4*c + 1, q*p - 1 = 2*p - 3*c. Suppose 2*f - 17 = -1. Which is bigger: p or f?
f
Let s be -3 - -1 - -2*1. Suppose -14*d = -62*d + 3024. Let a be (-18)/d + 68/42. Which is greater: a or s?
a
Let o = 3314203/2876 - 83/719. Are 1153 and o equal?
False
Suppose 6*a - 492 = -192. Let h be 828/(-20)*a/(-15) + 4. Is 142 smaller than h?
False
Let k = 1626 + -1626.1. Which is bigger: k or -3042?
k
Suppose -59976 = 6*k - 48*k. Let a = k + -1391. Let j be ((-2)/(-6))/(2 - 1). Which is smaller: a or j?
j
Let q = -67 - -101. Let p = q + -37. Let k be (-56)/(-17 + 3)*(-17)/20. Are p and k non-equal?
True
Suppose -14*q = -1275 + 77757. Is -5462 smaller than q?
False
Suppose -2*q - 8 = -28. Suppose -5*p = q*p - 30. Which is greater: 10/19 or p?
p
Let k be 54954/35500 + (-3)/2. Which is bigger: k or -2/45?
k
Let l(t) = -t**3 - 7*t**2 + 9*t + 10. Let g be l(-8). Suppose -6 = 3*k, g*d - 126 = 6*d + 5*k. Let m = d + 12. Is m at least -17?
True
Let o = 78 - 81. Let l be 0*(-2 + 0 - o)*-1. Suppose l = 4*b + a + 139, -3*b + 7*a - 6*a = 99. Are -33 and b non-equal?
True
Let j be (3 - (-1606)/(-132))*1/(-15). Which is bigger: 1 or j?
1
Let j = -1.27 + 1.12. Let t be (1*-1)/((-16)/64) + -22. Let d be ((-2)/(-1))/((-12)/t). Which is greater: d or j?
d
Let h = -8620 + 155269/18. Which is smaller: 7 or h?
h
Let l = 13593 - 12710. Which is smaller: l or 887?
l
Suppose 567 = 24*n + 3*n. Suppose -q - c - 5 = 0, 9*q - 6*q - 3*c = -n. Which is smaller: 9 or q?
q
Let t = -11104 + 4652574/419. Suppose 4*p + 3*v + 11 = 16, 0 = 4*v - 12. Which is smaller: t or p?
p
Let s = -661.3 - 327.3. Let b = s - -988. Which is greater: b or 1/4?
1/4
Suppose -2938 = 21*n - 141958. Is 6620 at least n?
True
Let g(n) = 11*n**2 - 315*n + 220. Let f be g(27). Which is bigger: -265 or f?
-265
Let y be (-18)/(-72) + ((-2)/(-16)*6 - 2). Is -6/8651 less than y?
False
Let j = -54 - -55. Let l be (j/(-4) - 124/8)*-4. Let r = 63 - l. Which is greater: r or -15?
r
Let o = -724/129 - -12/43. Let k = o - -130/21. Let u be (1/(-3))/(3*(-6)/108). Which is smaller: u or k?
k
Let h(w) = 9*w**3 + 2*w**2 - 3*w. Let i be h(2). Let c = i - -2. Suppose d = -3*d + c. Which is smaller: d or 20?
d
Let u be ((-776)/226)/((-2)/(-5)) - -9. Is u != 0?
True
Let h be (-7 + 6 + ((-28)/168)/(2/6))*2. Let q be (2 - 0)/(-2) - -3. Suppose y + q = 3*y. Is y > h?
True
Let m = -20502/7 + 2928. Are -96/11 and m non-equal?
True
Let n = 187 + -180. Suppose -26*d - n = -19*d. Is d at least as big as -3/2?
True
Let w = -7/179 + 61/19869. Let p be (-88)/11 + 13 + -4. Is w less than p?
True
Let c(g) = -g**2 + 14*g - 16. Let o be c(11). Suppose -o*t + 6 = -19*t. Let s be t/4 - 147/(-180). Is s at least as big as -1?
True
Let a = 46 + 26. Let d = 129 - a. Let w = d - 118. Is w != -1?
True
Let b = -717.9497 - -718. Let a = 73.0503 - b. Are -0.2 and a equal?
False
Suppose 4*r - 2*x = -3*x - 8679, 2*r - 3*x = -4357. Is r less than -2171?
False
Suppose -16 = -3*f - 55. Let v be -66 - (21/12 + (-1)/(-4)). Let a = v - -55. Is a equal to f?
True
Let v = 1 + -2. Let o = -407.2 + 353. Let k = o + 63.2. Are v and k equal?
False
Let l = -942 + 340. Let s = l - -677. Is s >= 2/7?
True
Let q = -101.148 - -0.148. Let m = -100.8 - q. Which is bigger: -18 or m?
m
Let d = 251 - -38. Let p = 291.4 - d. Which is smaller: 0.2 or p?
0.2
Let q be (-162)/(-189) + (-9741)/21. Let g = 462 + q. Which is bigger: -2/141 or g?
-2/141
Let v be (2 + 70/(-21))/((-10)/(-1125)*-3). Which is bigger: 203/4 or v?
203/4
Suppose -469 = -27*l + 98. Suppose l*y = 2 - 23. Which is greater: y or -1/180?
-1/180
Let b be 6/(-27) + 224/(-126). Let m = -55.92 + 55. Which is greater: b or m?
m
Suppose 161*u - 291*u = -152*u - 29260. Which is greater: u or 1/3?
1/3
Let a = -2.5577 + -1.4423. Which is smaller: a or -1752?
-1752
Suppose -8 = -3*g + 7. Let l(r) = -r**3 + 8*r**2 - 13*r + 6. Let h be l(g). Let s be (-2 - -1)/(8/h). Does 0.1 = s?
False
Suppose 11*v = 1127 - 9597. Let t = v + 758. Which is smaller: -24 or t?
-24
Let s = 25/773 - -63659/15460. Let m = 1/10 + s. Let k = 1502 - 1498. Which is smaller: m or k?
k
Suppose 0 = 5*w - 1064 - 41. Let h = w - 171. Which is smaller: -0.07 or h?
-0.07
Let o = 27059.07 + -27059. Are o and -0.413 unequal?
True
Let u(h) = -9*h**3 - 8*h**2 - 65*h + 251. Let a be u(4). Is -708 != a?
True
Suppose 186 = 4*d + 2*x, -x - 52 + 10 = -d. Let r be 10/d - (-8048)/234. Let c = r - 5106/143. Which is greater: 0 or c?
0
Let x be (-6 - (-174)/18)/(5615/(-15)). Is x at least 0?
False
Let g = -0.03776 - 26.96224. Are g and -149 non-equal?
True
Let o = 144 - -567. Let b be o/(-99) - -7 - 57/(-11). Which is smaller: b or -1?
-1
Suppose -7*q + 2720 = 2566. Which is smaller: q or -276?
-276
Let x = -291 - -12805/44. Let k = 377 + -624. Let j = -247 - k. Which is greater: j or x?
x
Let p be 11*(-14)/(15 + -1). Are -456/43 and p equal?
False
Let u = 10230 + -9277. Which is smaller: u or -2/11?
-2/11
Let o = 385 - 459. Suppose -d + a + 80 = -2*d, -2*d - 4*a = 162. Let h = o - d. Which is smaller: 0 or h?
0
Let w(r) = r**3 - 28*r**2 - 247*r + 68. Let k be w(35). Is k at least -40/57?
False
Let m = 0 - -0.4. Is m bigger than 5/8?
False
Suppose 101*r - 6096 = 30971. Is 368 < r?
False
Let m be (((-620)/186)/(15/2))/(2*1). Is 363 less than m?
False
Let u = 100 - 105. Let g(p) = p**2 - p + 1. Let f be g(0). Suppose -4*i = 15 + f. Do i and u have different values?
True
Let p = 718281623/1185097305 + 378/191299. Let r = p + -37/59. Which is smaller: r or 1?
r
Let z = -983/38 + 41/2. Let g = z - -7612/1425. Let t = 2656 + -2656. Which is smaller: g or t?
g
Let r = 37 + -36. Let j be 897/46*(r - (-14)/(-18)). Suppose -2*k = 0, -4*w + 4*k = -7*w + 15. Is w equal to j?
False
Let c(s) = s**2 - 8*s - 26. Suppose 9*f = -5*f - 42. Let q(a) = -9*a - 26. Let z(l) = f*q(l) + 4*c(l). Let x be z(-4). Does x = -1?
False
Let p = -65272/13 + 5025. Is 4 bigger than p?
False
Let r be (2 + 3)*2 - 2. Let h be (12 - r)*(-2)/(-10). Let d(n) = -29*n + 405. Let o be d(14). Do h and o have different values?
True
Let v = -6.017 - 0.793. Let b = v + -0.19. Let t = -0.06 - -0.12. Is t at most b?
False
Let u be 217/(-35) + 2/10. Let g(v) = v**2 + 9*v + 18. Let n be g(u). Which is bigger: 4/119 or n?
4/119
Let t = -140639 - -140521. Let j be ((-24)/(-14) - 1) + -1. Which is smaller: j or t?
t
Let g be (((-4)/(-16))/(6/60))/(35/35196). Which is smaller: g or 2517?
g
Let n be (-3)/(-2)*(-2 - -4). Suppose -2*t + 6*t - 5*c = -11, -3*t = 3*c - 12. Let f(g) = 14*g - 10. Let b be f(t). Which is greater: b or n?
b
Let n(g) = 4*g**2 + g**3 + 3*g**3 + 3*g**2 - 17 - 3*g**3 - g. Let t be n(-7). Let k