smaller: x or l?
l
Let b be 9/1467*((-100)/(-15) - 49/7). Are b and -8 non-equal?
True
Let a be (-2 - (-300)/136)*(-3)/(-14). Let h = 151/4964 - a. Let z = h + -141/365. Which is greater: z or -0.07?
-0.07
Let p = 10 - 5. Suppose -p*v - 30 = 15. Let c be (50/(-175))/(6/196). Is c at least as big as v?
False
Suppose -72*x - 6*x = -78. Which is smaller: x or -13/136?
-13/136
Suppose w + 4*g - 4 = 0, w - 14*g = -11*g - 3. Is -12/875 less than or equal to w?
True
Let b be (-99)/(-21) - 7/((-98)/4). Suppose 2*w - 21 = f, 2*w = -b*f + f + 6. Let c(k) = 3*k - 9. Let d be c(6). Is w smaller than d?
False
Let g = 122.32 - 116.42. Is g greater than or equal to 1?
True
Let g be (-4)/34 - (-2021488)/(-4760). Do -426 and g have different values?
True
Let h(q) = q**2 + 5*q - 3. Let r(d) = -d**3 - 24*d**2 + 23*d - 56. Let k be r(-25). Let i be h(k). Suppose 0 = -0*g - i*g + 21. Which is smaller: g or 28/5?
28/5
Let h(g) = -2*g**2 + 30*g - 9. Let t be h(20). Let b be 22/t + (-1252)/19. Which is greater: b or -64?
-64
Let b = 1230.4 - 1230.5. Which is bigger: b or -10294?
b
Let c = -0.3 + 0.2. Let z = 1.54 + 1184.46. Let s = 1205 - z. Which is greater: s or c?
s
Suppose 0 = -2*t - t + 2*d + 16, 3*d + 18 = 3*t. Suppose 41 = 3*f - t*h, 0 = -3*f - 2*f - 5*h + 10. Let j be 2/(f + 10/5). Is 26 greater than j?
True
Suppose -2625*c + 2621*c = 0. Which is smaller: c or 2/841?
c
Let q be (-120)/(-900) - 547*62/253680. Is 1 >= q?
True
Let z be (658/98 - (0 + 0)) + -6. Let b = 2614741/3795 + -15832/23. Let r = b + 1/55. Which is greater: r or z?
z
Let p = 622 - 939. Let h = p + 368. Do h and 53 have different values?
True
Let b = 502 - 489. Suppose -b = -4*l - 5*a + 7, -l + 8 = 2*a. Which is greater: l or 2/157?
2/157
Let i = 5881.58 - 5639. Let d = 243 - i. Which is bigger: -5 or d?
d
Let o = 52/115 - -2763/1265. Suppose -63 = 119*s - 140*s. Is s smaller than o?
False
Let s(r) = 8*r**2 - 41*r + 4. Suppose 0*f + f - 4 = -w, 3*w = 5*f + 20. Let i be s(w). Which is smaller: 1/124 or i?
i
Let n(i) = -10*i - 90. Let f be n(-9). Suppose f = -46*s + 41*s - 610. Which is smaller: -121 or s?
s
Let o = 1393/2 - 229829/330. Let v = o - -2818/3135. Is v greater than 1?
False
Suppose -3*j = 2*w + 192 + 285, 4*j + 636 = -5*w. Let d = j - -160. Let s = 29023/43 - 675. Which is smaller: d or s?
s
Let w be (-3 + 36/(-16))/((-1)/4). Let t be (w/28)/((-9)/(-12)). Let l be (1*(0 + 1))/(-3). Which is smaller: t or l?
l
Let h = 43/8 - 3323/616. Let l be -4 - ((-20)/(-6)*-3 + 5). Is l at most as big as h?
False
Let y = -38 - -34. Let q = 289 + -295. Which is smaller: q or y?
q
Let a be 6 + 1 - -1439 - -6. Suppose 10*i + a = -658. Which is bigger: i or 1?
1
Let t = -58552 + 58571. Let k = 59408/9 + -6582. Are k and t non-equal?
True
Let g = -0.14794 - -6.17694. Let j = 59 + -58.971. Let h = g - j. Which is smaller: h or 0?
0
Let c be -137*(-44 + 20 - -5). Which is bigger: 2610 or c?
2610
Let g be 32/144*((-246)/237 - -1). Is g smaller than 2?
True
Let x = 260 - -126. Suppose -x*u = -398*u. Do -22/19 and u have the same value?
False
Let q be 66/(-62) + (-3 - -4). Which is greater: 1 or q?
1
Suppose 4*j - w = 1170, 11*j - 869 = 8*j + 5*w. Let l be (5 - (6 - 5))*73. Which is bigger: j or l?
j
Let f be 1/2*12 - ((-2254)/(-35) - -4). Which is smaller: -61 or f?
f
Let s = 1800 - 1805.35. Which is smaller: s or -0.1?
s
Let q be 833/(-77) - 2/11. Let x = -11 - q. Suppose 0 = 3*o, x*o - 15 = -5*f - o. Is f <= -6?
False
Let b = -11 - 5. Let i be (b/(-14))/((-2)/(-7)). Suppose -5 = r, -i*f + 9*f = 2*r - 30. Do f and 1 have the same value?
False
Suppose -98 = 16*w - 866. Let r be (-138)/w + 5 + -2. Which is smaller: r or 0?
0
Suppose -467*v + 470*v + 5*f + 8 = 0, -2*f = -2*v. Which is greater: v or -2/2255?
-2/2255
Let t(v) = -v**3 - 25*v**2 + 25*v + 91. Let w be t(-14). Which is greater: -2412 or w?
-2412
Let j(g) = g**3 + g**2 + 3. Let w be j(0). Let b be (-11)/w - (-22)/33. Let u(s) = s**3 + 3*s**2 - 3*s - 5. Let i be u(b). Which is greater: 20/7 or i?
i
Let f = -18573 - -14282. Which is greater: f or -4292?
f
Let u = 402 + -402.239. Let p = -0.039 - u. Let t = 0.5 + -0.1. Is t equal to p?
False
Suppose 21*q - 3599 - 622 = 0. Let t = 191 - q. Which is smaller: t or -16?
-16
Let c(o) = 6*o - 6. Let f be c(-11). Let i(n) = n**3 + n**2 + 4*n - 9. Let g be i(-4). Is g >= f?
False
Let x(z) = -328*z + 3266. Let t be x(9). Which is smaller: 2523/8 or t?
t
Let q be (-358895)/(-358) - (-2)/4. Are 1000 and q unequal?
True
Let v(a) = a**3 + 6*a**2 + 7*a - 2. Suppose -21*y + 6 = -24*y. Let p be v(y). Which is smaller: p or 0.2?
p
Let k be ((-40)/28 - 14)/((-10)/(-14)). Which is smaller: k or -2/7?
k
Let x(h) = -h**2 + 99*h + 7449. Let v be x(149). Which is greater: 2/13011 or v?
2/13011
Let q = -10161 - -10162. Which is greater: 130/61 or q?
130/61
Suppose 3*n + 15 = 0, 0*q + 4*q - 4*n - 544 = 0. Suppose -10*g + q = 41. Does g = 12?
False
Let n = 5.2066 - 0.2066. Which is smaller: 1318 or n?
n
Let a = 29029/2164 + -727519057/54136788. Let l = a - 8/269. Which is smaller: l or 0?
l
Suppose -4*i = 28 + 16. Let l be (-2 - (-4 - -3))*3 + i. Let r = l + 13. Is 2/33 at most r?
False
Let s be (-37)/2 + 6/12. Let w = -10 - s. Let m = 4334 - 25949/6. Is m bigger than w?
True
Suppose -13*v - 3570 = -18*v. Let d be -4 + (v/(-25))/(-7). Are -1 and d unequal?
True
Let m(n) = 19*n + 117. Let f be m(-6). Let q be f/(270/(-4)) + 0/(-3). Let o be 4/(-18) - 2/(-9). Which is greater: q or o?
o
Suppose 7*q = 2*q + 3*n - 15, 0 = -3*q - 5*n + 25. Which is smaller: 1/988 or q?
q
Let s be (-36)/(-234) - 47243/285532. Is s != 1?
True
Let q = -241 - -245. Suppose 2*j - 10 = q*w, 4*j = j - 2*w - 25. Which is smaller: -2 or j?
j
Let r = -37 + 37. Let x be (-39)/6*(r/3 + -2). Let z(c) = -c + 16. Let l be z(x). Is l equal to 1?
False
Let l be (-2)/((-5 + -1)/132). Which is smaller: 62 or l?
l
Let m = -23 + 34. Let f(y) = -y + 8. Let u be f(m). Let r be (-1)/(-6)*u/(-2). Which is smaller: -3/8 or r?
-3/8
Let s = -16 + 31. Let d(m) be the second derivative of m**3 - 34*m**2 + 9*m. Let n be d(14). Which is greater: n or s?
n
Let j = 144.168 - -0.832. Let w = -146 + j. Let x = 343 + -240. Which is smaller: w or x?
w
Suppose -89*k - 2*n - 14 = -85*k, 4*k = -n - 7. Are 14/3379 and k nonequal?
True
Suppose 4 = -4*w, j + 35 = 3*w + 4. Let u = 36 + j. Suppose -s - 2*o - 7 = 0, s + u*s = o. Which is smaller: s or -2/91?
s
Let m be 294/221 + 136/(-102). Suppose 3*k + 7 = -4*h, h - 5*h - 5 = k. Are h and m non-equal?
True
Suppose 78*t - 77*t + 5*i = -432, 2*t + 936 = 2*i. Is -4 > t?
True
Let o = -22870 - -160278/7. Is o less than -0.09?
False
Let k(z) = -4*z**3 - 103*z**2 + 20*z - 22. Let n be k(-26). Which is smaller: n or 89?
89
Suppose -p = -4*m + 1186, -5*m - 3*p + 1491 = -0*m. Suppose m = -6*w + 27. Does w = -48?
False
Let l = 10 + -16. Let k = l + 10. Suppose -k*h = h. Which is bigger: h or -2/31?
h
Let i = 34 - 26. Suppose -5*z - 2 = -5*b + i, 2*b + 3 = -5*z. Let u = -0.4 + 0. Is u at least as big as z?
True
Let n be (3 + 12/(-4))/(-2). Let y be (n/(-11) - 7)*(-2)/(-2). Is 0 greater than y?
True
Suppose 455 - 149 = 30*j + 21*j. Is 43/8 < j?
True
Suppose -64*k + 44*k - 94*k = 2508. Which is bigger: k or 0.04?
0.04
Let w = -153 + 163. Suppose 0 = -j + 3*j + 100. Let i = j - -59. Is i >= w?
False
Suppose 5*i + j = -3*j + 85, -j = -5. Suppose -3*c + 4*w - i = 2*c, -3*w + 3 = 3*c. Let f = -100412 + 2409889/24. Which is bigger: f or c?
f
Let c = 63 - -382. Let n = c + -444. Which is bigger: -245 or n?
n
Let q be ((-14)/(-4))/(7/(-14)). Let x be 6 + (q + 31)*2. Is 54 at least x?
True
Let i be (-30)/(-20)*1*-54. Suppose 2*a = 3*r + 253, -3*a + 258 = 2*r - 5*r. Are i and r non-equal?
False
Let z(i) = 280*i + 5891. Let y be z(-21). Let l = -3 - 2. Which is bigger: y or l?
y
Let n be 12/8 - (-15 - (-231)/14). Is n bigger than -2/48707?
True
Let b = 4690 - 4646. Does b = 4?
False
Let u be (-24)/(-51) - 4 - (-17 + 13). Which is bigger: 2/17 or u?
u
Let u be (-8)/7*(-4 - 6/(-12)). Let j be (u - (-2)/4)*(-2)/6. Which is smaller: 14 or j?
j
Let b = -58207 + 640275/11. Let q = -22.6027 + -0.2873. Let z = q + 23. Is z != b?
True
Let f = 908.02164 + -0.02164. Is -1 at least f?
False
Let o = -4549 + 13645/3. Which is greater: o or -0.46?
-0.46
Let d = -465.9949 -