er: -88 or r?
r
Let i be (1260/2835)/(2/(-1611)). Is -2498/7 > i?
True
Let m = -12.69 - -12.89. Is m > 359?
False
Let z = -259/2 - -797/6. Are 1/119 and z non-equal?
True
Suppose 2*c - 8*t = -6*t - 6, 4*c + t - 3 = 0. Let d be 86/96 + 6 + -7. Which is smaller: d or c?
d
Let x = -2 - 22. Let s be x/40*(-5)/(-10). Is -0.1 less than s?
False
Let v be ((-141)/(-2))/(9/(-20))*3/(-2). Does v = 231?
False
Let g(h) be the first derivative of h**4/4 + 5*h**3/3 - 2*h**2 + 14*h - 1. Let w be (-28)/2 - -9 - (-1 + 2). Let q be g(w). Which is smaller: 3/2 or q?
3/2
Let j = -841 - -840.9. Let a = -269/2331 + 5/63. Which is bigger: j or a?
a
Let h = -21 - -19. Let s be h/1 + 64/1. Suppose s*y - 60*y + 2 = 0. Is y at most 29?
True
Let p be (97004/1506)/((-1)/102). Let l = p + 6570. Let i = l - 1516/1255. Which is greater: 0 or i?
0
Let d(r) = -r**2 - 17*r - 43. Let y be d(-14). Let g be -3 + -2*46/(-120). Let c = 16/15 + g. Which is greater: y or c?
y
Let f be -1 - ((-2)/1)/(-1). Let n(t) = -t**3 - 3*t**2 + t + 6. Let v be n(f). Let j be ((-12)/(-8))/v*2. Which is smaller: 1/131 or j?
1/131
Suppose 2*r = -3*o + 9, -5*r - 2*o = -o - 16. Let p be (-6 - 232/(-10))/(r/15). Is p greater than or equal to 85?
True
Let j be 25110/105*(-28)/(-78) - 0. Is j != 85?
True
Let c = -15153 + 15169.102. Let q = -0.102 + c. Let g = 0.6 - -1.4. Is g at least as big as q?
False
Let s = -48 - -58. Suppose 16*r - s*r = -312. Let w = 34 + r. Which is bigger: 1 or w?
1
Let z be -2 + 4 - ((-396)/392 - -3). Let p = 15 + -17. Let l be (p/(-6))/(7/(-21)). Which is bigger: l or z?
z
Suppose 7880*m - 7867*m = 29913. Which is smaller: m or 2300?
2300
Let a be (-3088)/(-308) + (-140)/14. Is -5/2 less than a?
True
Let b = -64.2 + 44. Let s = -19.94 - b. Let d = 0 + -1. Is s smaller than d?
False
Let d be (-3 - 5/(-2))/(2/28). Let h(m) = -3*m**2 + 22*m - 46. Let y be h(d). Do y and -348 have different values?
True
Let i(n) = 12 + 3*n + 2*n - n**2 + 6 - n. Suppose -2*u + 15 + 9 = 3*k, 3*k = -u + 24. Let v be i(k). Is v greater than or equal to -25/2?
False
Let c = 5 - 4. Suppose -c = 2*x - x. Let s = 109 + -2074/19. Is s >= x?
True
Let p be (3 + 0 + 3)*28/(-8). Let f = p - -27. Suppose -f*n = 9 - 3. Which is bigger: n or 2/163?
2/163
Suppose o + 123 = 2*j - 11, 2*o + 274 = -2*j. Let l = o - -135. Is 3/41 at least as big as l?
True
Suppose 0 = -7*i + 31449 - 31708. Is i smaller than -73/2?
True
Suppose 5*b - b - 130 = -2*k, 3*k = 2*b - 45. Let p = b - 143. Is -111 less than p?
False
Suppose 14*s = 2*s + 96. Let r(q) = 4*q - 32. Let b be r(s). Let y = 18 - 19. Which is smaller: y or b?
y
Let u = -0.286 + -104.314. Let w = 104 + u. Is w smaller than 8?
True
Let r = -263479/1199748 - -98/447. Does 0 = r?
False
Suppose -73689 = -9*b - 26*b + 6*b. Is b <= 2541?
True
Let p = 4048 - 2238534/553. Is 0 greater than p?
False
Suppose -5*z - 9 = -34. Suppose 5*j - k = k + 278, -5*k - 290 = -z*j. Let m = -31 + j. Which is smaller: 21 or m?
21
Let i = 5 + -4.95. Let j = -0.12 + i. Let b = -73 - -71. Is j > b?
True
Let m = 3817 + -3717. Is m not equal to 101?
True
Suppose -3966*r + 1029 = -3959*r. Which is greater: r or 1187/8?
1187/8
Suppose -v - 1 = 2*z, -2*v = -2*z + z - 8. Suppose h - w + 40 = 0, -2*w = -v*h - h - 152. Is h bigger than -39?
True
Let c be -12 + (-8)/(-9040)*13596. Which is smaller: c or 0?
0
Let y = 217 - 220. Let s(q) = -3*q**2 - 18*q - 47. Let c be s(y). Is -3 >= c?
True
Let u(i) = 2*i**2 - 24*i - 91. Let w be u(15). Let h be (-4)/2 + (-5 - -1). Let t be (w - -1)*h/(-18). Is 0 bigger than t?
False
Let j(p) = 8*p - 75. Let b be j(11). Suppose 13*c + b = -0*c. Which is greater: c or -11/14?
-11/14
Let r be (-7)/(504/(-136278)) - 6/8. Suppose 20*m + r = -2*m. Are -600/7 and m non-equal?
True
Let b be 28/42*(-30)/(-2). Let q be b/8 + (-33)/(-44). Is q less than 5/6?
False
Suppose 4*v = -13*i - 19898, -14651 - 5267 = 4*v + 3*i. Is -4981 greater than v?
False
Let b = -29.13 + 0.13. Let o = 30.1 + b. Let x = -0.9289 + -0.0711. Is o <= x?
False
Let v = 1.6 + -1.62. Let j = -619.3 + 647. Let x = 28 - j. Are x and v equal?
False
Let h = 253002/8335915 - -18/5809. Which is smaller: h or 0?
0
Let x(o) = -43*o**3 + 3*o**2 + o - 2. Suppose 0 = -6*d + 6 + 6. Let p be x(d). Which is smaller: p or -331?
p
Suppose 677 = -23*h + 677. Is h at least as big as 80/77?
False
Let h be -123*(70/(-21) - -2). Which is smaller: h or 183?
h
Let v be (-4*(0 - 1))/((-1)/(-22)). Suppose 23*n - 19*n = v. Suppose -2*h - n = 5*l + 91, 12 = -3*h. Which is greater: l or -23?
l
Let j = 750 - 749.9433. Let t = 45.6567 - j. Let z = t - 45. Is z equal to 0.3?
False
Let s be (-1060)/(-100)*(-220)/(1 + -5). Is s <= 583?
True
Suppose 2*z + 6*y - 9*y + 16 = 0, 0 = -z + 2*y - 11. Which is smaller: z or -90/293?
-90/293
Let r be ((-49)/588*33)/((-17)/40*-3). Is r less than -3?
False
Let t = -6292 - -6290. Suppose -3*w = -5*w - 42. Let n be ((1 - t)*1)/(w/(-2)). Is -0.6 bigger than n?
False
Suppose 4 = 17*j - 21*j. Let r = 1184.486 + -1135.5. Let x = 0.014 + r. Does j = x?
False
Let p = -0.064844 + 1.064844. Let o = 2806/7 + -402. Which is bigger: o or p?
p
Let x = 10486 + -2160167/206. Which is smaller: x or -1?
-1
Let l(z) = 2*z**2 - 34*z - 250. Let n be l(-6). Are n and 25 unequal?
True
Let j be (7/7)/(-5 + (-2886)/(-588)). Is -10 at most as big as j?
False
Suppose -f = 4, 4*b = 7*f - 2*f + 340. Let i = b - 3. Suppose 0*l - 5*l + i = -3*y, -5*y = -2*l + 27. Which is bigger: 14 or l?
l
Let k = -6497 + 6444. Which is smaller: -46 or k?
k
Suppose 12 = 98*f - 94*f. Suppose 2*v + 10 = 0, f*d - v + 980 = -2*v. Which is greater: d or -324?
-324
Suppose x + 12 = 5*u, 3*x = 4*x + 2. Suppose u*q = -2*g, -5*q + 4 = 24. Is 25/8 at most g?
True
Let x = 28/59 + 1453/295. Let z = -15 + 28. Let a = z + -8. Which is smaller: a or x?
a
Let n(c) = 3*c**3 - 19*c**2 - 2*c + 14. Let d(r) = r**3 - 8*r**2 + r - 1. Let i be d(8). Let q be n(i). Are 2 and q equal?
False
Let o = -27.744 + -4.256. Which is greater: o or 0?
0
Suppose 1990 = 14*w - 7726. Suppose 21*r - 1322 = w. Which is greater: 101 or r?
101
Let w = 2.6 + -13.6. Let q = -124/65 - -1128/455. Which is bigger: q or w?
q
Let t be 730/12 + -6*5/(-180). Suppose t + 31 = -2*w. Let x be w*(3 + 62/(-20)). Which is bigger: 4 or x?
x
Let p(q) = -q + 12. Let h be p(-15). Suppose 5*a = -8*n + 5*n - 61, 0 = 3*a + 5*n + h. Let t = a + 14. Which is bigger: 2/47 or t?
2/47
Let q(l) = -194*l**3 - 3*l**2 + 131*l - 535. Let c be q(4). Is -12474 greater than c?
True
Let c be 4*(-3)/(-36)*3. Suppose 50 = -4*r + 70. Let k be 6/r + 48184/(-40470). Which is smaller: k or c?
k
Let b be (15 + -1)/(2 + 60/(-25)). Let z be ((10/b)/((-6)/(-28)))/2. Which is greater: z or -5?
z
Let q = 0.77 - -0.03. Let x = q + 4. Let b = x - 5. Are b and -15 unequal?
True
Let r be 15041/(-5170) - 0/(-3). Let f = 1/5170 + r. Let q be ((-8)/(-2))/2*-2. Which is smaller: q or f?
q
Let s(u) = u + 16. Let l be s(-10). Suppose n = -f + l, 5*n - 1 - 2 = 4*f. Suppose -f*t = -3*c - 0*c + 30, 5*c + 5*t - 20 = 0. Is c smaller than 7?
False
Let k(z) = -25*z - 38. Let s be k(-2). Let b be ((-8)/466)/(s + -11). Is 0 smaller than b?
False
Let q(u) = 19*u + 76. Let r(p) = 8*p + 76. Let f be r(-11). Let h be q(f). Are -152 and h nonequal?
False
Let p(v) = -138*v - 139. Let y be p(-1). Is -4/827 bigger than y?
True
Let l = -1.94 - 0.06. Let n = 1427 + -1378. Let k = -48.84 + n. Which is bigger: l or k?
k
Let z = 28.4 + -11.7. Let l = z - 15.99. Let q = l - 0.74. Which is smaller: q or 4/9?
q
Let y = -9059 - -9059. Which is greater: -4499 or y?
y
Let l = -21 + 14. Let a(v) = -v**2 - 23*v - 32. Let o be a(-22). Let u be 60/o + (-16)/(-3). Is l at least as big as u?
False
Suppose 0 = -q - 4*r - 16, 5*r + 16 = 2*q + r. Suppose q*z + 3*d = 4*z - 42, -3*d = 6. Suppose 5*u = 1 + z. Which is bigger: 1 or u?
u
Let o be (9 + (-21573)/2412)*1/8. Which is bigger: 1 or o?
1
Let k = -855 + 1274. Let l = k + -415. Is l at least as big as -30?
True
Let w = -5847 - -3238. Does -2609 = w?
True
Let a be ((-4)/(-23))/(10269/84*40). Are a and 1 nonequal?
True
Let j(b) = 110*b + 5736. Let p be j(-51). Which is bigger: p or 67?
p
Let h(k) = -k**3 + 2*k**2 + 3*k + 4. Suppose -2*n = -7*n + 15. Let f be h(n). Let v be -2 - (-1 + -11)/f. Which is smaller: -2/7 or v?
-2/7
Let g(f)